Let $U$ and $W$ be subspaces of the finite-dimensional vector space $V$. Prove that both the sum $U+W$ and the intersection $U \cap W$ are subspaces of $V$. Prove further that

$$\operatorname{dim} U+\operatorname{dim} W=\operatorname{dim}(U+W)+\operatorname{dim}(U \cap W)$$

Let $U, W$ be the kernels of the maps $A, B: \mathbb{R}^{4} \rightarrow \mathbb{R}^{2}$ given by the matrices $A$ and $B$ respectively, where

$$A=\left(\begin{array}{rrrr} 1 & 2 & -1 & -3 \\ -1 & 1 & 2 & -4 \end{array}\right), \quad B=\left(\begin{array}{rrrr} 1 & -1 & 2 & 0 \\ 0 & 1 & 2 & -4 \end{array}\right)$$

Find a basis for the intersection $U \cap W$, and extend this first to a basis of $U$, and then to a basis of $U+W$.