例えば ,, である. 2次の正方行列 に対して, の中の を で, を で置き換え, 行列の積を作ってできる行列を とする. 例えば ,, (行列の積)である.
, のとき, ならば であることを示せ.