What is the dimension of a vector space V?