>>578
φ(n)をオイラーのφ関数とし、a を n と互いに素な整数とすると、a^φ(n)≡1 (mod n)
これを「オイラーの定理」という。なお、φ(p^n)=(p-1)p^(n-1)である。

よって既知。