added some assertions about divisors being non-zero