Alperin–Brauer–Gorenstein_theorem loading ...