Stav dette: 4-Engel groups are locally nilpotent