k(aA+bB+cC) = kaA + kbB + kcC
e' la definizione del prodotto con la somma formale:
il risultato del prodotto con la somma formale e' =(def) alla somma formale dei
prodotti con ognuno dei singoli addendi della somma formale.
quaternione q = a + bi + cj + dk
Spazio vettoriale delle combinazioni lineari formali.