Groups with finite Engel element

We prove that in an arbitrary group, the normal closure of a finite Engel element with Artinian centralizer is a locally nilpotent Cěrnikov subgroup, thereby generalizing the Baer–Suzuki theorem, Blackburn's and Shunkov's theorems.