Definition:Scalar Multiplication