A sum is a direct sum if and only if dimensions add up

Suppose $V$ is finite-dimensional and $U_1,\dots,U_m$ are subspaces of $V$. Then $U_1+\dots+U_m$ is a direct sum if and only if