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.