Every 1-completed subgroup is contained in a maximal subgroup

From Groupprops

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).