'If a group G1 contains a smaller group G2, then G1 must be exhaustively partitioned into smaller groups."
Wenn eine Gruppe G1 eine kleinere Subgruppe G2 enthält, dann muss G1 vollständig in Subgruppen aufgeteilt sein.