Talk:Kneser–Tits conjecture