対偶による証明も背理法の一種だからなぁ。

愚かとしか思えないんだけど。