Def/Diophantine equation