Euler's totient function
The totient function is important mainly because it gives the size of the multiplicative group of integers modulo n. More precisely,  is the order of the group of units of the ring . This fact, together with Lagrange's theorem, provides a proof for Euler's theorem.