Zorn's theorem on Engel groups

Statement
The following are equivalent for a finite group:


 * 1) The group is a nilpotent group, i.e., a finite nilpotent group.
 * 2) The group is an Engel group.