>>282
例えば、単位行列の実数倍でも成り立つよね