Elliptische Kurve/Zahlbereich/Satz von Mordell-Weil/Fakt/Beweis

Beweis

Dies folgt mit Fakt (für ) aus Fakt und aus Fakt.