Video 10 - Eigenvalues and eigenvectors, Linear independence