Basis Criteria

Theorem

Let $(V,K,+,\cdot )$ be a finitely generated vector space.

Every set $B$ of $\dim (V)$ linearly independent vectors forms a basis of $(V,K,+,\cdot )$.

PROOF

TODO