もう大体、IUTのCor3.12より前に新しい発見はなく3.12は証明になっていないでFAな感じか
望月とアクセプトしたPRIMSの権威が落ちて終了って感じかね