実際(2-8)および行列の積の線型性から、