転置行列の修正, 行列の積の実�