Let U, V, W be finite-dimensional subspaces of a real vector space. Show dim U + dim V + dim W - dim (U + V + W) greater or equal to max {dim (U intersection V), dim (V intersection W), dim (U intersection W)}.

- asked on behalf of a friend who is a non MHFer.

I personally have no idea about vector spaces.