Talk:Analytic subgroup theorem