 Thus formula_63 is an Artinian ring, which is a -vector space of dimension , and Jordan–Hölder theorem may be used for proving that is the degree of the algebraic set .In fact, the multiplicity of a point is the number of occurrences of the corresponding maximal ideal in a composition series.For proving Bézout's theorem, one may proceed similarly.