a^k\equiv 1\pmod{n}