The ring formula_51 has Krull dimension one, and is the ring of regular functions of a projective algebraic set formula_52 of dimension 0 consisting of a finite number of points, which may be multiple points. As formula_53 belongs to a regular sequence, none of these points belong to the hyperplane of equation formula_54 The complement of this hyperplane is an affine space that contains formula_55 This makes formula_52 an affine algebraic set, which has formula_57 as its ring of regular functions. The linear polynomial formula_58 is not a zero divisor in formula_59 and one has thus an exact sequence