Bézout's lemma