Projektiver Raum/Zahlbereich/Höhe/Körpererweiterung/Fakt

Es sei ein Zahlkörper, eine endliche Körpererweiterung vom Grad und sei .

Dann gilt für die Höhen die Beziehung