show/hide this revision's text 1 [made Community Wiki]

Fermat-Wiles theorem.

Assume rational solution of Fermat equation, which then defines an non-modular elliptic curve. This contradicts the modularity theorem, so there are no such solutions.

A bit cheeky, but true.