A calculus of the absurd

19.3 Diophantine equations