https://123dok.net/document/yr3j3vlj-groups-which-class-mathjax-formula-maximal-subgroups-dualpronormal.html