Section 1.2 Page 3 of 4
Characterization of gcd