Der Zahlbereich besitzt nach Voraussetzungen nur komplexe Einbettungen, die in Paaren von zueinander konjugierten Einbettungen auftreten. Diese seien . Zu
ist somit nach
Fakt
die Norm gleich
Bei
ist dies positiv, da
unter jeder komplexen Einbettung einen positiven Betrag besitzt.