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