7.1.5 pgcd (gcd)