確実に言えることは数学の証明はコンピュータで証明できる程度には認識の問題でもなければ言語も完成されている
この事実から考えると、Cor 3.12の証明をコンピュータが理解できる程度に書き直せば良いだけで、逆にそれをしないのは出来ないからではないかと思われる
つまり、Cor 3.12は証明できていないと