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