2^n \equiv 1 \pmod n