 For example, the condition formula_282 ensures that formula_255.This gives the 1-1 correspondence between reduced divisors and divisors in Mumford representation.As an example, formula_127 is the unique reduced divisor belonging to the identity element of formula_174.