>>960
対偶って知ってる?