Elliptische Kurve/Zahlkörper/Höhenfunktion/Abschätzung für Addition/Summanden/Aufgabe

Führe im Beweis zu Fakt

die Abschätzungen für die einzelnen Summanden durch.