Talk:Kazhdan–Margulis theorem