Elliptische Kurve/Zahlkörper/Höhenfunktion/Existenz/Fakt/Beweis

Beweis
  1. Das ist die logarithmische Version von Fakt.
  2. Dies folgt über den Logarithmus aus Fakt und der expliziten Formel für die -Koordinate bei der Verdoppelung, siehe Fakt.
  3. Dies folgt aus Fakt, da die Abbildung den Grad besitzt.