Bézout's theorem
= Bézout's theorem
{c}
{wiki}
= Bézout theorem
{c}
{synonym}
Two <projective plane curve>[projective plane curves] of degrees $m$ and $n$ with no common irreducible component have total <intersection multiplicity> $mn$. In particular, two nonempty projective plane curves always intersect.