# Definition:Greatest common divisor

If , then the greatest common divisor of and satisfies:
1. and (i.e. is a common divisor), and
2. for any that divides both and , we have (in other words, is greater than any other common divisor). In fact we will show that (which implies that ).