高木の前科をおさらいしましょう
・背理法で2つ仮定をおいて矛盾が生じたので仮定を2つとも否定する
つまり高木は背理法を扱えていませんね