a^p≡1 (mod p^n) iff a≡1 (mod p^(n-1)), n≥2

Printable View