more work on bezout's theorem section.