1＋1＝2を証明するのに、

1＋1≠2と仮定して
1＋1−1≠2−1
1≠1

よって、仮定は誤りとする考えで合っていますでしょうか？