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