Bézout's theorem (source code)

= 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.