formula_14とすれば、"a" ≡ 1(mod "n")が "n" と互いに素な全ての "a" に対して成り立つが、formula_12はこの性質を満たす "m" の最小の数とは限らない。