22.3 Diophantine equations