  We classify integer abc-equations c = a + b (to be defined), according to
their radical R(abc) and prove that the resulting equivalence classes contain
only a finite number of such equations. The proof depends on a 1933 theorem of
Kurt Mahler.
