thm 6.1, 6.4, 6.6

switched to residue disks instead of single points, which is required to
make everything a 100 percent correct in the case of multiple poles
within a residue disk, change of notation: denominator of Frobenius is s
now (since D is used for disk)