Maximal implies pronormal

Statement
Any maximal subgroup of a group must be a pronormal subgroup.

Facts used

 * 1) uses::Maximal implies normal or abnormal
 * 2) uses::Normal implies pronormal
 * 3) uses::Abnormal implies pronormal

Proof
The proof follows by piecing together facts (1), (2) and (3).