Fermat's little theorem

A special case of Wilson's theorem.