Simple group contain minimal simple groups.
Michael J. J. Barry, Michael B. Ward (1997)
Publicacions Matemàtiques
Similarity:
It is a consequence of the classification of finite simple groups that every non-abelian simple group contains a subgroup which is a minimal simple group.