<s>[INST]Leibniz dışında, başka hangi matematikçi Fermat'ın küçük teoreminin geçerliliğini kanıtladı?[/INST]Yunanlılar sonra, 17. yüzyıla kadar asal sayıların çalışılması ile çok az oldu. 1640'ta Pierre de Fermat, (kanıt olmadan) Fermat'ın küçük teoremini (daha sonra Leibniz ve Euler) ispatladı. Fermat ayrıca, 22n + 1 formunun tüm sayılarının asal olduğunu (Fermat sayıları olarak adlandırılır) ve n = 4 (veya 216 + 1) değerine kadar olduğunu doğruladı. Bununla birlikte, daha sonraki Fermat 232 + 1 sayısı, Euler'in daha sonra keşfedildiği üzere birleşiktir (en temel faktörlerinden biri 641'dir) ve aslında başka hiçbir Fermat sayısının asal olduğu bilinmemektedir. Fransız keşiş Marin Mersenne, 2p - 1 formunun ilkelerine, en iyi şekilde baktı. Onlara şerefine Mersenne primeleri denir.</s>