x\in\mathbf{N}