日本人がABC予想を解いたなんて喜ばしいことだ。応援しています。