>>705で書いたとおり、対偶の文と元の文の正しさは同じという証明がある。

（1=(z-y)を満たす自然数）は、（z=5、y=4である）。
の対偶は
(z=5,y=4である)でなければ(1=(z-y)を満たす自然数)でない

この文は間違っている。反例z=4,y=3

よって元の文も間違っている。
証明終