Suppose $U$ is a subspace of $V$ adn $v_1+U,\dots,v_m+U$ is a basis of $V/U$ and $u_1,\dots,u_n$ is a basis of $U$. Prove that $v_1,\dots,v_m,u_1,\dots,u_n$ is a basis of $V$.

TODO