118. Multiplication of a vector by a real number