proper divisor