 formula_118 where formula_119 and furthermore formula_120 is a finite set.This means that a divisor is a finite formal sum of scalar multiples of points.Note that there is no simplification of formula_121 given by a single point (as one might expect from the analogy with elliptic curves).