week 14 Bases, Dimension of a vector space