Fermat's theorem
He discovered a short and elementary proof of Fermat's theorem on sums of two squares.