>>364
証明結果の知識をつかったら新公理
はいバカ確定