系3.12の証明だけができなかったことがポイントだよな
それ以前には自明なことしかなくて系3.12だけが非自明でそこには数学の証明など最初からなかった