(This is Fermat's theorem. The elementary version (Fermat's) is much more difficult. It is amazing how simple arguments on unique factorization make theorems like this so simple).

By the other arguments isnotirreducible. Thus, there exists such that take the norm of both sides to get . Now work with unique factorization over . It cannot be that one of those factors is and the other because we cannot write if . Thus, it means . (In fact, , and are exactly the same, i.e. there is also uniqueness involved but that is a different story).