We show that if G is a finitely generated profinite group such that [x(1),x
(2),...x(k)] is Engel for any x(1),x(2),...,x(k) is an element of G then ga
mma (k)(G) is locally nilpotent, and if [x(1),x(2),...,x(k)] has finite ord
er for any x(1),x(2),...,x(k) is an element of G then, under some additiona
l assumptions, gamma (k)(G) is locally finite.