Maximal implies normal or self-normalizing

Statement
Any maximal subgroup of a group is either normal of self-normalizing.

Related facts

 * Maximal implies normal or abnormal
 * Maximal implies normal or contranormal