Every 1-completed subgroup is contained in a maximal subgroup
Statement
Every 1-completed subgroup is contained in a maximal subgroup.
In symbols, suppose is a group and is a subgroup of such that there exists such that . Then, is contained in a maximal subgroup.
Note that the statement is obviously true for finite groups; the interesting case is that where is an infinite group (so that it is not necessarily true that every proper subgroup is contained in a maximal subgroup).