Diophantine representation of enumerable predicates

An example is given of a diophantine relation which has exponential growth. This, together with the well-known results of Martin Davis, Hilary Putnam, and Julia Robinson, yields a proof that every enumerable predicate is Diophantine. This theorem implies that Hilbert's tenth problem is algorithmically unsolvable.