[math-fun] System of 2 diophantine equations