 Bézout theorem

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