Soluzione
Siano
ed
con
ed
sottospazi vettoriali di
tali che
con
linearmente indipendenti e
Se
allora
quindi esiste un vettore
Pertanto
è una base per
quindi
cioè, per la formula di Grassmann vettoriale,
pertanto