 Let "k" be an algebraically closed field.The Hilbert's Nullstellensatz (theorem of zeros) states that there is a natural one-to-one correspondence between the set of all prime ideals in formula_137 and the set of closed subvarieties of formula_138.In particular, many local problems in algebraic geometry may be attacked through the study of the generators of an ideal in a polynomial ring.