bezout's theorem