何十年か先に本当にabc予想を証明する論文が出たらIntroductionのとこに「Mochizuki (2012) はabc予想を証明したと主張したが、その証明には欠陥があり認められなかった。」みたいなことが書かれるのか