Prove that over an infinite field, a finite set of points in $\mathbb{ A}^n$ can be obtained as vanishing set of n polynomials
Every affine variety in $\mathbb A^n$ consisting of finitely many points can be written as the zero locus of $n$ polynomials