In a finite-dimensional vector space, the length of every linearly independent list of vectors is less than or equal to the length of every spanning list.