Let p be prime withShow that there are integers a,b for which
![]()
(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 argumentsis not irreducible. 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).