If a vector space has dimension n, then any subset of n vectors that is linearly independent must be a basis, coordinate vector space.

math.la.t.vsp.dim.linindep.coord