Definition:Proper Divisor of Integer