>>9
仮定をアゲテないことを証明させるなんてロジカルな人がやることじゃないですね