Beweis
Es sei
eine
Basis
von
und
eine Basis von
, die zusammen eine Basis von
ergeben. Bezüglich dieser Basis wird
insgesamt durch die
Blockmatrix
beschrieben, wobei
die Einschränkung
und
die Einschränkung
beschreibt. Dann ist unter Verwendung von
Aufgabe
-
