Mirimanoff's Congruence

If the first case of Fermat's Last Theorem is false for the Prime exponent $p$, then $3^{p-1}\equiv 1\ \left({{\rm mod\ } {p^2}}\right)$.

See also Fermat's Last Theorem