... C0, . . .).Proof. If we designate by M the former, by K the latter system, then by (42) K is a chain. Since then by (45) each of the systems A, B, C, . . . is part of one of the systems A0, ... (5).62. Theorem. The chain of G(A, B, C, . . .) is part of G(A0, B0, C0, . . .).Proof. If we designate by G the former, by K the latter system, then by (43) K is a chain. Since then each of the ... .) The proof follows from (13), (10).15. Theorem. If each of the systems P , Q, . . . is part of one of the systemsA, B, C, . . . , and if each of the latter is compounded out of any of the...