矛盾すると、なぜそのケースを除外してよいのか？
数学の矛盾を発見したのかもしれないではないか。