１≠２と仮定する
１＝１…①
２＝２…②
ここで１＝２と仮定すると
①②より１＝１＝２＝２
∴１＝２が成り立つ
これは１≠２に矛盾する
よって背理法により１＝２　■