Yeah, I've redone the second proof - currently working on the first.
U = Sp\left\{u_1, u_2, ... , u_k\right\}
Where \left\{u_1, u_2, ... , u_k\right\} is linearly independent
We can extend this to a basis of W as U \subseteq W
So for w_{k+1}, w_{k+2}, ... , w_l \in W \backslash U...