 This can be seen by factoring formula_273 in formula_4 which can be done as such as formula_270 is monic.The last condition on formula_270 and formula_277 then implies that the point formula_278 lies on formula_70 for every formula_257.Thus formula_281 is a divisor and in fact it can be shown to be a reduced divisor.