Linearly independent set can be completed to a basis
Solution 1:
The completion is certainly not unique. Multiplying any of the new vectors by a nonzero constant will not affect the span or the linear independence, but will change the basis.
To prove that you can extend any linearly independent set $S$ to a basis, you proceed by an iterative argument. If $S$ spans you are done. Otherwise, the span of $S$ does not include some vector $v$. You claim that $S \cup \{v\}$ is linearly independent. Write down the condition for linear independence and observe for yourself that if linear independence fails, you can deduce that $v$ was in the span of $S$ (solve the non-zero equation for $v$ in terms of elements in $S$). Now you ask if $S \cup \{v\}$ spans, and if so, you are done. If not, take some vector $w$ not in the span and consider, $S \cup \{v\} \cup \{w\}$. Iterate this argument.To prove in general that this iteration eventually terminates in a spanning set, you actually need to use Zorn's Lemma. However, if you have a finite spanning set $B$ then you can pick the elements $v,w, \cdots$ from $B$ and the most number of steps our iteration might take is to exhaust all the elements of $B$.
Solution 2:
For the sake of variety:
The extendibility of an independent set $X$ to a basis can be shown with the Steinitz exchange lemma (although this is a little backwards). There is a basis of $V$, say $B$, and $X$ is independent hence there is a basis containing all elements of $X$ and $\dim V - |X|$ elements from $B$.