divisor Definition