 The equation has a solution in the unknowns formula_4 precisely when the parameter formula_5 is 0 or not a perfect square.Namely, this equation provides a Diophantine definition of the set

consisting of 0 and the natural numbers that are not perfect squares.Other examples of Diophantine definitions are as follows