>>934
x=y=0, z=1 は >927 の解なので、
>926 の反例になっていない。