 As such we know that the divisor 
is principal which implies that the divisor 
is equivalent to the divisor 
Furthermore, the divisor 
is principal for every point formula_25 on formula_70 as it comes from the rational function formula_405.This gives that formula_406 and formula_407 are equivalent.Combining these two properties we conclude that 
is equivalent to the reduced divisor 
In a picture this looks like Figure 2.