proof of Fermat’s little theorem using Lagrange’s theorem
Theorem.
If with a prime and , then .
Proof.
We will make use of Lagrange’s Theorem: Let be a finite group and let be a subgroup
of . Then the order of divides the order of .
Let and let be the multiplicative subgroup of generated by (so ). Notice that the order of , is also the order of , i.e. the smallest natural number such that is the identity
in , i.e. .
By Lagrange’s theorem , so for some . Thus:
as claimed.∎