Completely invariant subspaces of free algebras

A structural theorem is proved for $\mathrm{pMqBM}$ completely invariant subspaces of free associative algebras with a unit, having a countable number of free variables over the field of characteristic zero. In particular, it is shown that such spaces contain a Lie nilpotent polynomial.