Brauer–Fowler_theorem loading ...