[six] Particularly, The distributivity of scalar multiplication with respect to vector addition implies that multiplication by a scalar a is surely an endomorphism of the team. The remaining three axiom build the function that maps a scalar a into the multiplication by a is a ring homomorphism from the field https://vectorinc.org/en