Gilman–Griess_theorem loading ...