けんき says to YSITD
對於任何vector space