 Similarly, we can call the "dimension" of such a set the least number of unknowns in a defining equation.Because of the existence of a universal Diophantine equation, it is clear that there are absolute upper bounds to both of these quantities, and there has been much interest in determining these bounds.Already in the 1920s Thoralf Skolem showed that any Diophantine equation is equivalent to one of degree 4 or less.