Projektive Gerade/Zahlkörper/Absolute Höhe/Eigenschaften/Multiplikativität/Echt/Aufgabe

Zeige, dass in Fakt die Abschätzung ${}H(xy)\leq H(x)H(y)$ für die absolute Höhe im Allgemeinen echt ist.