The generator is a nonzero holomorphic differential form. Its canonical divisor is an effective divisor, since there are no poles. In genus one, the degree of a divisor formula in part (a) gives
An effective divisor of degree zero has every coefficient zero. Thus
This proves nonvanishing of holomorphic differentials in genus one. It concerns the differential itself: a zero or pole of the particular coefficient may be cancelled by the local behavior of .