This theorem identifies a [projective variety](/page/Projective%20Variety) with the set of nonzero points in its affine cone modulo scalar multiplication. It connects homogeneous equations in [affine space](/page/Affine%20Space) with the quotient viewpoint used to define [projective space](/page/Projective%20Space).