SiU=U1+U2, entonces, para algunou∈U, existenu1∈U1 yu2∈U2 tal queu=u1+u2. Supongamos que cadau∈U puede escribirse de manera únicau=u1+u2 ...SiU=U1+U2, entonces, para algunou∈U, existenu1∈U1 yu2∈U2 tal queu=u1+u2. Supongamos que cadau∈U puede escribirse de manera únicau=u1+u2 en cuanto au1∈U1 yu2∈U2 Luego usamos Si0=u1+u2 conu1∈U1 yu2∈U2, entoncesu1=u2=0. Por Condición 1, tenemos que, para todosv∈V, existeu1∈U1 yu2∈U2 tal quev=u1+u2.