Projektive Gerade/Zahlkörper/Absolute Höhe/Rationale Funktion/Abschätzung nach unten/Fakt
Erscheinungsbild
Es sei
ein Morphismus, der durch teilerfremde Polynome gegeben ist. Es sei das Maximum der Grade der Polynome.
Dann gibt es eine positive Konstante derart, dass die absolute Höhe die Abschätzung
für jeden Punkt erfüllt.