Fermat number
フェルマー数 () の素因数は () の形をしている (Lucas)。フェルマー数はどの2つも互いに素なので、任意の に対して ( の形の素数が無数に存在することが導かれる。また実際に が を割り切る例が存在する。