Correspondencia entre ideales y variedades algebraicas (Teorema de Nullstellensatz de Hilbert)