ユークリッドの証明は背理法だよ。
何故、背理法ではないと思うの?