望月氏の証明法への疑義は続くがABC予想自体はおそらく真だというのが大方の見方なのだろうか