あらゆる行列に矛盾なく適用できるならやってもいい