The Bezout Lemma