Bezout’s Identity for Integrs

We prove the greatest common divisor of a and b can be written as a linear combination of a and b.