黒木が望月論文のギャップを埋めて、abc予想が望月=黒木の定理となる可能性もある