【朗報】数学の超難問「ABC予想」、京大教授によって証明される