Fermat's little theorem
第1種カニンガム鎖では formula_24 なので formula_25 である。ここでフェルマーの小定理より formula_26 だから、formula_8 は formula_28 を割り切る（ formula_29 とおく）。これより、無限の長さのカニンガム鎖は存在しない。