I've recently been reading Serge Lang's Math Talks for Undergraduates, specifically a section about the abc conjecture. Lang starts by stating and proving the Mason-Stothers Theorem: Let $f,g \in \mathbf{C}[t]$ be nonconstant and relatively prime. Then $ \text{deg}(f+g) \leq n_0[fg(f+g)]-1$, wher...