16.2
Uno dei modi per dimostrare questa affermazione è sfruttare l'esecizio precedente e ricordare che
da cui
allora
è un punto (vedi esercizio 5.1).
Si noti che questa dimostrazione usa esplicitamente il fatto che stiamo operando su spazi finito-dimensionali, in effetti l'enunciato è vero in generale come mostrato da questa dimostrazione che non si serve di alcuna ipotesi sulla dimensione:
Siano
;
poiché
allora
e
identicamente
; allora
visto che
essendo
e
somma diretta.