>>803
京都大学教授がABC予想を証明