Dimostrazione.
Poniamo
, allora
1.
Se
che è impossibile
quindi
è somma diretta.
2.
Proviamo che
.
infatti
si ha
allora
c.v.d.