Diophantine quadruple

A set S of positive integers is said to be Diophantine iff there exists a polynomial Q with integral coefficients in m>=1 indeterminates such that S = {Q(x_1, ..., x_m)>=1:x_1>=1, ..., x_m>=1}. It has been proved that the set of prime numbers is a Diophantine set.