Usando la propiedad noetheriana del anillo de polinomios sobre F, comprobamos que cualquier conjunto cerrado es el conjunto de los ceros de un conjunto finito de ecuaciones.