prove finite generating sets cant have less than the dimension number of vectors. define dimension