a^n \equiv b^n \pmod{m}