Es seien Q ⊆ K ⊆ L {\displaystyle {}\mathbb {Q} \subseteq K\subseteq L} endliche Körpererweiterungen und es sei v ∈ M K {\displaystyle {}v\in M_{K}} ein Betrag.
Dann gilt für die Beträge aus L {\displaystyle {}L} oberhalb von v {\displaystyle {}v} die Gleichung
