Gaussian integer
ステップ1（ガウス整数環がユークリッド整域であること）