Basis Criteria

Theorem

Let $(V,K,+,\cdot )$ be a finitely generated.md) Vector Space.

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

PROOF

TODO