²This is also called Fermat’s little theorem.