Definition:Proper Zero Divisor