  We reduce the principal problem of Additive Number Theory of whether an
infinite sequence of integers constitutes a finite basis for the integers to a
Diophantine problem involving the difference set of the sequence, by proving a
formula connecting the respective number of solutions.
