Пример относительно максимальной непронормальной подгруппы нечетного порядка в конечной простой группе

Доказано существование тройки $({\mathfrak X},G,H)$, где ${\mathfrak X}$ — состоящий из групп нечетного порядка полный (т. е. замкнутый относительно подгрупп, гомоморфных образов и расширений) класс конечных групп, $G$ — конечная простая группа и $H$ — ее ${\mathfrak X}$-максимальная подгруппа, таких, что $H$ не пронормальна в $G$.