単位行列がformula_26の全域で定義されている事を利用すると、の条件formula_58、formula_55、formula_60より、