あー、Aoのアプローチは許容してねーのかよwずっとそのことについて否定しないから許容してんのかと思ったわ。でもここら辺完全に悪くないことの証明から、「ない」ことの証明の話に派生してるよな。
File:無題