Definition:Diophantine Quintuple