Greatest common divisior Ideal of greatest common divisor is unique since if there are two gcd, since if (divisor 1) is subset of (divisor 2) and vice versa, they are equal