1. Z[i]のノルムを考えれば
2. Z[i]で素元は既約元だから
3. iは単元だから