Bukti.
Jika p suatu bilangan prima ganjil, maka
Maka
2
Karena p prima, maka faktornya hanyalah
Dan
Sehingga
Dan
kuadrat. Misalnya,
3
4) Bilangan prima
maka
(satu kali).
maka
(dua kali)
4
bilangan kuadrat. Teorema ini juga dibuktikan oleh
Lagragne.
sehingga
Jika
5
terjemahan Bachet dari buku Arithmetika dari Diophantus
pada soal 8 buku II, yaitu memisah suatu bilangan kuadrat
atas dua bilangan kuadrat. Kemudian memisah suatu
bilangan pangkat tiga atas dua bilangan pangkat tiga dan
seterusnya. Tetapi memisah lebih dari dua tidak mungkin.
Fermat membuktikan soal itu untuk n = 4, Euler memberikan
bukti untuk n = 3. Ahli-ahli matematika kemudian
membuktikan teorema itu. pada tahun 1825, sendiri-sendiri
Drichlet dan Legendre membuktikan untuk n = 5. Pada tahun
1839, Lame membuktikan untuk n = 7.