>>881
> このとき左からPiを作用させてPi(x)=PiPi(y)=PiPj(z)=Pi(y)=0
が紛らわしいので、そこだけ直せばいいんじゃね