ABC予想証明 → 彡(゚)(゚)「これってA=B B=CならA=Cかもしれないっていう予想?単純やけど証明するのはすごいな」