Vediamo che
Siano
L'uguaglianza cercata vale, per l'osservazione 13 della sezione "Sottospazi proiettivi", se e solo se
Quest'ultima uguaglianza
è facilmente dimostrabile, infatti
se
e solo se
cioè se e solo se esistono
e
tali che
con
cioè
se e solo se esiste
tale che
quindi se e solo se esiste
tale che
cioè se e solo se