[定理]nが自然数、aをnと互いに素な整数とする。このとき、次は同値である。[1][2]以下の2条件が成り立つ。φ(n)の約数である。[定理]nが自然数、aをnと互いに素な整数とする。このとき、次は同値である。[1][2]以下の2条件が成り立つ。mはsの倍数である[定理]m1,m2を2より大きな互いに素なし自然数とし、n=m1m2とする。このとき、nと互いに素な整数aについて、次が成り立つ。フェルマーの小定理(2365d)。