Lagrange's theorem
Proof of Euler-Fermat theorem using Lagrange's theorem