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