22.2     Sia un sottospazio affine -dimensionale che contiene , dobbiamo dimostrare che .
Avvalendoci del contenuto esercizio 2.5 ci basta dimostrare che ; ora certamente ; siccome per ipotesi essi sono $d-1$ vettori indipendenti e $\mathsf{giac}\mathcal{S} $ è spazio vettoriale di dimensione $d-1$ allora essi costituscono una base di tale spazio da cui l'uguaglianza cercata.


torna alla teoria