14.2
Per ipotesi abbiamo che
oppure
;
d'altra parte abbiamo anche che
per cui
oppure
infine, ricordando che
e
non sono disgiunti -ci sta certamente - otteniamo che
oppure
(si veda esercizio 9 della sezione "Sottospazi affini").
Viceversa supponiamo che
oppure
allora
oppure
;
ma essendo
per cui otteniamo
oppure
e cioè
.