This theorem says that a family of homogeneous polynomials and the homogeneous ideal it generates define the same zero set in [projective space](/page/Projective%20Space). It justifies treating projective varieties as objects attached to homogeneous ideals rather than to a particular list of equations.