Faltings' Theorem

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

Then $C$ has only finitely many rational points.