>>830
わざわざ対偶をとらなくても
> この文は間違っている。反例z=4,y=3
でよかったのでは？