Let k, n be positive integers, G a residually finite group such that [x(1),
x(2),...,x(k)] is n-Engel for any x(1), x(2),..., x(k) is an element of G.
We prove that gamma k(G) is locally nilpotent. For k = 1 this is a well-kn
own result of J. Wilson.