>>378
証明できない命題を仮定した証明は誤り