线性变换保持线性组合与线性关系式不变, 即

反复使用定义中的 即得.