ProofWiki:Potw

Fermat's Little Theorem (with corollary)