ByNobleID
    Baer--Suzuki theorem for the $\pi$-radical | NobleID