Fundamental theorem of homomorphism in vector space?