 It can be proven that for each divisor formula_263 there is a unique reduced divisor formula_264 such that formula_116 is equivalent to formula_264.Hence every class of the quotient group formula_174 has precisely one reduced divisor.Instead of looking at formula_174 we can thus look at the set of all reduced divisors.