x,y\in\mathbf{N}