If a vector space has dimension n, then any subset set of n vectors that spans the space must be a basis, coordinate vector space.

math.la.t.vsp.dim.span.coord