TeX-källa:

y^{\phi(m)} \equiv 1 \pmod{m}