Fermat's little theorem
ラグランジュの定理を再度適用すると、第1の因数をゼロにするの値は より多くはないことに留意する。しかし、最初に述べたように少なくとも 個の異なる平方剰余 (mod ) がある（0以外）。よって、これらはきっかりと第1の因数をゼロにする剰余クラスである。もう1つの 個の剰余クラス（非剰余）は2番目の因数がゼロである必要があり、そうでないとフェルマーの小定理を満たさない。これがオイラーの規準である。