Definition:Diophantine Quadruple