Elliptische Kurve/Zahlkörper/Höhenfunktion/Abschätzung für Addition/Fakt
Erscheinungsbild
Es sei eine elliptische Kurve über einem Zahlkörper und sei ein fixierter Punkt aus .
Dann gibt es eine Konstante derart, dass für jeden Punkt die absolute Höhe die Abschätzung
erfüllt.