This is called distributivity of scalar multiplication with respect to vector addition.