Fermat number
が得られるので、ある素数 が2つのフェルマー数を割り切るとすると、 は も割り切ることになって不合理である。