Talk:Gilman–Griess theorem