https://123dok.net/document/yr36rejo-formations-span-class-mathjax-formula-closure-finite-groups.html