Gaussian integer
ステップ2（ガウス整数環が単項イデアル整域であること）