[math-fun] Diophantine equation