Bezout's theorem was essentially stated by Isaac Newton in his proof of lemma 28 of volume 1 of his Principia, where he claims that two curves have a number of intersection points given by the product of their degrees.