Mittelwertsatz
This follows from Lagrange's theorem and the fact that is the order of the multiplicative group of integers modulo.