不定は許さないって、イコールでつながるべきなの?
そうなるとABC予想は(不等式でなくて)等式が得られる?

証明するABC予想は不等式だから、不定は許容されて、ある一定の誤差以下で小さいことを示せば成立する。