0016132人目の素数さん垢版 | 大砲2018/12/10(月) 00:09:55.41ID:XBbIsTcM >>12追加 >背理法だから、間違わないと答えにならないという性質がある >証明を逆にたどれば同値になる >完全に正しいとは、今のところ間違いが見つかってないかつ間違いを指摘されていない