Ax–Grothendieck Theorem

An injective polynomial function from an n-dim complex vector space to itself is bijective.