Simpson writes >Could you please remind me what Faltings' theorem says? If the soltution set of a polynomial p(x,y)=0 has more than one hole, tehen there are only finitely many rational solutions.