Fermat number
フェルマー数は全て奇数であるから、4番目の式から、どの2つのフェルマー数も互いに素であると分かる。