No title
Recently Havas and Vaughan-Lee proved that 4-Engel groups axe locally nilpotent. Their proof relies on the fact that a certain 4-Engel group T is nilpotent and this they prove using a computer and the Knuth-Bendix algorithm. In this paper we give a short handproof of the nilpotency of T.