Elliptische Kurve/Multiplikation mit n/Grad/Fakt/Beweis

Beweis

Nach Fakt wird die -te Vervielfachung durch mit rekursiv definierten rationalen Funktionen beschrieben. Mit erheblichem Aufwand kann man zeigen, dass der Grad des Zählers von gleich und der Grad des Nenners kleiner ist. Dann kann man mit Fakt schließen.