Proposition (Criterion for a basis)

A set of vectors $\{v_1,...,v_n\}$ in a Vector Space V is a basis if every element $v\in V$ can be be uniquely written as a linear combination $$a_1v_1+...+a_nv_n$$