if a^2 \equiv 1, then a \equiv \pm 1 (mod p)

Printable View