Teorema segons el qual el nombre de solucions d’un sistema de n equacions polinòmiques (sense factors en comú per a totes) en n variables, de graus respectius m1,...,mn, és el producte d’aquests: N = m1 · m2...mn (cal tenir en compte les multiplicitats de les solucions i l’eventualitat de solucions infinites).
Com a cas particular, fent n=2, resulta que dues corbes algèbriques planes, d’ordres respectius m1i m2, tenen m1 · m2punts d’intersecció (iguals o no).