Highest Common Denominator Definition