Definition:Common Divisor of Real Numbers