Ax-Grothendieck theorem

1. REDIRECT Ax–Grothendieck theorem

{{R from modification}}