Wir wollen Fakt auf
anwenden. Es ist
und
Somit ist
Es ist
sodass wir
wählen können. Es ist
mit
Schließlich ist
Daher ist
eine Basis wie gewünscht.
Die inverse Matrix zu
ist
und es ist