>>176
>>142や>>150は背理法の枠組みで考えていた訳で、矛盾が生じても何らおかしくはない。
そもそもの(背理法の)仮定が間違っていたという結論に行きつく。