 If formula_64 is a homogeneous polynomial of degree formula_10, which is not a zero divisor in , the exact sequence 
shows that

Looking on the numerators this proves the following generalization of Bézout's theorem