Bézout’s theorem