まずは、ABC予想の証明を理解することが先だろう