もっちーがコンピュータ使ってabc証明するってネットニュース見たけどゲルトとショルツどーすんのこれ