On the other hand, as we already mentioned, the proof of Theorem REF  needs the Schmidt Subspace Theorem in Diophantine Approximation; this is a deep result, but of rather different nature compared to the former theorems. See the book [1]} by E. Bombieri and W. Gubler for a proof, and see [2]} for a description of related results and evolutions.
