Let C be a smooth complex algebraic curve of genus g. For a divisor D on C, dim D means the dimension of the complete linear series $mid$D$mid$ containing D, which is the same as the projective dimension of the vector space of meromorphic functions f on C with divisor of poles $(f)_infty leq D$.