Jabarkan Pernyataan asli Fermat adalah dari Teorema kecil Fermat

Ini dapat diterjemahkan, dengan penjelasan dan rumus yang ditambahkan dalam tanda kurung untuk memudahkan pemahaman, seperti:

Setiap bilangan prima [] pasti membagi salah satu pangkat minus satu dari [geometris]  perkembangan []  [yaitu,  sehingga  membagi ], dan eksponen pangkat ini [] membagi bilangan prima dikurangi satu [membagi ]. Setelah menemukan pangkat pertama [] yang memenuhi pertanyaan, semua orang yang eksponennya adalah kelipatan eksponen yang pertama memenuhi pertanyaan yang sama [yaitu, semua perkalian dari  pertama memiliki sifat yang sama].

Fermat tidak mempertimbangkan kasus di mana  adalah kelipatan dari  atau membuktikan pernyataannya, hanya menyatakan:

(Dan proposisi ini umumnya benar untuk semua deret [ sic ] dan untuk semua bilangan prima; Saya akan mengirimkan demonstrasi kepada Anda, jika saya tidak takut terjadi terlalu lama.)

Euler memberikan bukti terbitan pertama pada tahun 1736, dalam makalah berjudul "Theorematum Quorundam ad Numeros Primos Spectantium Demonstratio" dalam Proceedings di St. Petersburg. Akademi Petersburg, tetapi Leibniz telah memberikan bukti yang hampir sama dalam sebuah manuskrip yang tidak diterbitkan dari beberapa waktu sebelum 1683.

Istilah "teorema kecil Fermat" pertama kali digunakan di media cetak pada tahun 1913 di Zahlentheorie oleh Kurt Hensel:

(Ada teorema fundamental yang berlaku di setiap grup berhingga, biasanya disebut teorema kecil Fermat karena Fermat adalah orang pertama yang membuktikan bagian yang sangat khusus darinya.)</ref>