Fermat's right triangle theorem
Fermat's right triangle theorem is a non-existence proof in number theory, published in 1670 among the works of Pierre de Fermat, soon after his death. It is the only complete proof given by Fermat.
Source: Wikipedia — Fermat's right triangle theorem (CC BY-SA 4.0)