Letbe a prime number, and let m and
be positive integers. Show that
is divisible by p.
We have the simple identityfor
. Hence, (a)
.
Letbe the largest power of
that divides
. So
, by (a).
Fromit follows that
and so
divides
, where
does not divide
. Euclid's Lemma implies then that
must divide
.
By the way, the argument works foralso.