talk:>>869 x^(-1)Hy'=x^(-1)y'y'^(-1)Hy'だから成り立つ。