フェルマー数
なおフェルマー数にも同様な素数判定の定理であるがある。