Exercise
Let a and b be two polynomials in R[X]. Suppose that c and d are both common divisors of a and b with maximal degree. Which of the following three statements is true?
c and d are equal.
c and d have gcd 1.
c = d for some R.