Talk:Focal subgroup theorem