La afirmación es cierta: \(30=2\cdot 3\cdot 5\) y, para \(a\) coprimo con 30, \(a^{12}\equiv 1\) módulo 3 y 5, luego \(a^{13}\equiv a\) módulo 3 y 5, y es trivial módulo 2. Con \(a=7\) se cumple \(7^{13}\equiv 7 \pmod{30}\).
El teorema de Euler afirma que si \(a\) y \(n\) son coprimos, entonces \(a^{\varphi(n)} \equiv 1 \pmod{n}\), generalizando el pequeño teorema de Fermat a módulos compuestos.