theorem that whenever a composition series exists, the isomorphism classes of simple pieces and their multiplicities are uniquely determined
Nothing in the MetaHistoryBook collection references this item yet.