Section 3.2 Page 5 of 5
Characterization of the gcd