Bezout's lemma