>>88のレスは対偶の証明してないのにその前段階の証明で対偶使っちゃうっていうネタね
下手で全く伝わらんかったけど…