行列の積の性質の証明

行列の積の性質の証明のリフォーム。