Da
und
Basen sind, gibt es nach
dem Festlegungsatz
eine bijektive lineare Abbildung
mit
und
.
Unter
bleiben die Voraussetzungen über die paarweise lineare Unabhängigkeit erhalten. Daher müssen wir nur noch die Situation von zwei Vektorfamilien der Form
und
betrachten. Es sei
-

und
-

Dabei sind
,
da andernfalls
bzw.
zu einem der
linear abhängig wäre. Wir betrachten nun die lineare Abbildung
, die durch
und
gegeben ist. Dann ist

Somit erfüllt

die geforderte Bedingung.