cleaned up Bezout's theorem section some.