divisor properties