背理法は不要であると仮定しよう