Every ideal in the ring of the Gaussian integers is principal, because, if one chooses in a nonzero element of minimal norm, for every element of , the remainder of Euclidean division of by belongs also to and has a norm that is smaller than that of ; because of the choice of , this norm is zero, and thus the remainder is also zero. That is, one has , where is the quotient.
Every ideal in the ring of the Gaussian integers is principal, because, if one chooses in a nonzero element of minimal norm, for every element of , the remainder of Euclidean division of by belongs also to and has a norm that is smaller than that of ; because of the choice of , this norm is zero, and thus the remainder is also zero. That is, one has , where is the quotient.