States Jordan-Hölder Computation of K_0 for a Length Category: Let A be an essentially small abelian length category, so that its isomorphism classes of objects form a set, and let \S_ \_ be a set of representatives for the isomorphism classes of simple objects of A.