>>726
仮定に矛盾する反例としての１つの上手い手段として使っているのだよ。

仮定ではａ≠ｂだからａ−ｂ≠０だが最終的に示すのはａ＝ｂでありａ−ｂ＝０だから矛盾を導きやすいのでは？って発想なのだろう

こじつけくさいな