Fermat's Little Theorem has a very nice proof ...
Takeis prime and
. (You have already stated that
does not divide
).
You can easily prove that(a basic proof by contradiction should do the trick).
Hence it must be the case that.
You can then collect theterms and observe that
.
From this it follows thatas required
Hope that helps
Paul