Dicho de otro modo, si existe una ecuación (o sistema) diofántica cuya solución sea el conjunto de formula_6-tuplas de números naturales formula_16, entonces formula_16 es un conjunto diofántico.