33 - The dimension of a vector space