>>506
逆は必ずしも真ならず
対偶なら成り立つ