Theorem 9.6 (Ax-Grothendieck). Assuming that:

• $k$ an algebraically closed field

• $\mathrm{\Phi }:K^n\to K^n$ an injective polynomial map