“…Thus, if one Σ i is transcendental at infinity, it follows from [4] that there is a nonconstant (primitive) polynomial P : C 2 → C of type C or C * such that F X is P -complete. The set of points where F X is not transverse to P is an algebraic curve S ⊂ P −1 (Q), so p i ∈ S. If P is of type C, since by [16] there is ϕ ∈ Aut[C 2 ] such that P • ϕ(z 1 , z 2 ) = z 1 , one sees as above that p i ∈ {z 1 = λ}, for i = 1, 2, again a contradiction.…”