[6] Precisely, The distributivity of scalar multiplication with regard to vector addition means that multiplication by a scalar a is an endomorphism with the team. The remaining 3 axiom build the function that maps a scalar a into the multiplication by a is a ring homomorphism from the sphere on https://vectorinc.org/en