Es sei
eine
Ganzheitsbasis
von
. Es ist zu zeigen, dass die
,
,
linear unabhängig sind. Über die
-lineare Abbildung
-
erhält man aus der reellen Gesamteinbettung die komplexe Gesamteinbettung. Wären die Elemente
-linear abhängig, so würde das auch für die Bilder unter der komplexen Gesamteinbettung gelten. Doch dies wäre ein Widerspruch zur Tatsache, dass die Diskriminante von
nicht
ist, siehe
Fakt.