Primpolynom/Ebene Kurve/Unendlich viele Punkte/Irreduzibel/Fakt/Beweis

Beweis

Es ist . Es sei . Nach Fakt  (3) ist

Wenn kein Vielfaches von ist, so ergibt sich mit Fakt direkt ein Widerspruch zur Voraussetzung. Also ist

ein Primideal und nach Fakt ist irreduzibel.