Andrew Wiles
Examining this elliptic curve with Ribet's theorem shows that it does not have a modular form. However, the proof by Andrew Wiles proves that any equation of the form does have a modular form. Any non-trivial solution to (with an odd prime) would therefore create a contradiction, which in turn proves that no non-trivial solutions exist.