MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 2 added 7 characters in body

Fermat's little theorem: $n^p\equiv n \; (mod \;p)$ for $p$ prime and all integers $n$.

Synopsis of proof: Reduce to nontrivial case where $p$ doesn't divide $n$, interpret as equality in field of $p$ elements, divide by $n$ and apply Lagrange's theorem saying that the order of a finite group kills all its elements.

show/hide this revision's text 1 [made Community Wiki]

Fermat's theorem: $n^p\equiv n \; (mod \;p)$ for $p$ prime and all integers $n$.

Synopsis of proof: Reduce to nontrivial case where $p$ doesn't divide $n$, interpret as equality in field of $p$ elements, divide by $n$ and apply Lagrange's theorem saying that the order of a finite group kills all its elements.