Es sei K {\displaystyle {}K} ein Zahlkörper und P K m {\displaystyle {}{\mathbb {P} }_{K}^{m}} der projektive Raum über K {\displaystyle {}K} .
Dann ist die Höhe eine wohldefinierte Funktion