>>513
ABC予想が解決されると自動的に他の重要な予想が数十個、系として証明されたことになるから