行列 "a", "b", "c", "d" は行列の積 "ac" および "bd" が定義できるようなサイズの行列とすれば、