A theorem that states that given any two integers, their GCD can be expressed as a linear combination of the two integers.