自然数 n に対して次の条件を考える。

∀p : prime [ p|n ⇔ (p - 1)|n ]

この条件を満たす自然数は高々二つの例外を除いて
必ず素数の平方で割り切れる。
(事を示せ。)