そんなこといったら
対偶は全部背理法にできるんじゃね