言っておくが

何々が存在すると仮定する ←これは真でも偽でもない

つまり背理法は使えない