We said that if this was the definition of linear independence, or we proved this fell out of the definition of linear independence, and if I have a bunch of vectors, v1, v2, all the way to vn, we say that they are linearly independent.