 Complex affine algebraic set cardinality dichotomy

A complex affine algebraic set is either finite or has the cardinality of $\mathbb{C}$. One proof takes a positive-dimensional irreducible component and applies Noether normalization: the resulting finite dominant map to a positive-dimensional affine space has a point above every closed point.