continued work on Bezout's Theorem section