Let be subspaces of a vector space V such that and

Prove that if , then

Proof:

Now, is quite simple since their intersection is empty.

Now, since all the subspaces inside W1 and W2 doesn't intersect with one another by the defintion of direct sum, that means

This looks too simple, is that right?