Proof of Theorem LIVRN

Theorem LIVHS says the linear independence of $S$ is equivalent to the homogeneous linear system $\homosystem{A}$ having a unique solution. Since $\homosystem{A}$ is consistent (Theorem HSC) we can apply Theorem CSRN to see that the solution is unique exactly when $n=r$.