Faltings' Theorem

Theorem
Let $C$ be a curve over $\Q$ of genus $g > 1$.

Then $C$ has only finitely many rational points.

Proof
He proved it in his 1983 paper:.

Before that, it was known as Mordell's Conjecture, after.