Lemma 14.4. Assuming that:

  • DDiv(E)

Then D0 if and only if degD=0 and sumD=0E.