O'Nan–Scott_theorem loading ...