divisor theory