>>331
対偶は成り立つけど、裏が成り立つとは限らんやろ