Es sei C {\displaystyle {}C} eine projektive glatte Kurve vom Geschlecht g ( C ) ≥ 2 {\displaystyle {}g(C)\geq 2} über einem Zahlkörper K {\displaystyle {}K} .
Dann ist die Menge der K {\displaystyle {}K} -rationalen Punkte K ( C ) {\displaystyle {}K(C)} endlich.
