Editing Bézout's theorem (section)

===Affine case===
The affine case of the theorem is the following statement, that was proven in 1983 by [[David Masser]] and [[Gisbert Wüstholz]].{{sfn| Masser|Wüstholz|1983}}

''Consider {{mvar|n}} [[affine variety|affine hypersurface]]s that are defined  over an algebraically closed field by {{mvar|n}} [[ polynomial]]s in {{mvar|n}}  variables, of degrees <math>d_1, \ldots,d_n.</math> Then either the number of intersection points is infinite, or the number of intersection points, counted with their multiplicities, is at most the product <math>d_1 \cdots d_n.</math>'' If the hypersurfaces are in relative [[general position]], then there are exactly <math>d_1 \cdots d_n</math> intersection points, all with multiplicity 1.

The last assertion is a corollary of Bézout's theorem, but the first assertion is not, because of the possibility of a finite number of intersection points in the affine space, together with infinitely many intersection points at infinity.

This theorem a corollary, not explicitly stated, of a more general statement proved by Masser and Wüstholz. 

For stating the general result, one has to recall that the intersection points form an [[algebraic set]], and that there is a finite number of intersection points if and only if all component of the intersection have a zero [[dimension of an algebraic variety|dimension]] (an algebraic set of positive dimension has an infinity of points over an algebraically closed field). An intersection point is said ''isolated'' if it does not belong to a component of positive dimension of the intersection; the terminology make sense, since an isolated intersection point has neighborhoods (for [[Zariski topology]] or for the usual topology in the case of complex hypersurfaces) that does not contain any other intersection point.

Consider {{mvar|n}} projective hypersurfaces that are defined  over an algebraically closed field by {{mvar|n}} [[homogeneous polynomial]]s in <math>n+1</math>  variables, of degrees <math>d_1, \ldots,d_n.</math> Then, the sum of the multiplicities of their isolated intersection points   is at most the product <math>d_1 \cdots d_n.</math> The result remains valid for any number {{mvar|m}} of hypersurfaces, if one sets <math>d_{m+1}=0</math> in the case <math>m<n,</math> and, otherwise, if one orders the degrees for having <math>d_2\ge d_3\ge\cdots \ge d_m \ge d_1.</math> That is, there is no isolated intersection point if <math>m<n,</math> and, otherwise, the bound is the product of the smallest degree and the <math>n-1</math> largest degrees.