7.2.3 数乘向量