>>12追加
>背理法だから、間違わないと答えにならないという性質がある
>証明を逆にたどれば同値になる
>完全に正しいとは、今のところ間違いが見つかってないかつ間違いを指摘されていない