>>678
背理法って否定を仮定するとそこに矛盾があるからryって話じゃないの？
これから証明することを仮定するのがなんでできるのかが疑問なんです