Lehmer's Theorem

See Fermat's Little Theorem Converse