Seol mar théacs é seo: 4-Engel groups are locally nilpotent