Maximal implies central factor or self-centralizing

Statement
A maximal subgroup of a group is either a central factor (i.e., its product with its centralizer equals the whole group) or a self-centralizing subgroup (i.e., it contains its centralizer).

Stronger facts

 * Maximal implies cocentral or self-centralizing