finished proofs about divisors