Cardinality of Generator of Vector Space is not Less than Dimension

Theorem
Let $V$ be a vector space over a field $F$.

Let $\BB$ be a generator for $V$ containing $m$ elements.

Then:
 * $\map {\dim_F} V \le m$

where $\map {\dim_F} V$ is the dimension of $V$.