Theorem Let $K[X_1,\dots, X_n]$ be the polynomial ring over a field $K$. Let $I$ be an ideal of $K[X_1,\dots, X_n]$. There exists a smallest subfield $k$ of $K$ such that $I$ is generated by polynomials in $k[X_1,\dots,X_n]$.