https://9dok.org/document/qmj86ne9-irreducible-induction-and-nilpotent-subgroups-in-finite-groups.html