Brauer–Suzuki–Wall_theorem loading ...