けんき says to YSITD
V is a vector space