A gcd is not unique: multiplying by a constant 
0 also provides a gcd. From the definition it follows that a
gcd has maximal degree under the common divisors. Since every constant
0 is a divisor of every polynomial, the degree of a gcd is always 
0.