Bézout's Lemma