Pépin's Theorem

The Fermat Number $F_n$ is Prime Iff

$$3^{2^{2^n-1}}\equiv -1\ \left({{\rm mod\ } {F_n}}\right).$$

See also Fermat Number, Pépin's Test, Selfridge-Hurwitz Residue