- #1

HDB1

- 77

- 7

**in the Proof of Engel's Theorem. (3.3), p. 13:**

please, how we get this step:

##L / Z(L)## evidently consists of ad-nilpotent elements and has smaller dimension than ##L##.

Using induction on ##\operatorname{dim} L##, we find that ##L / Z(L)## is nilpotent.

**Thanks in advance,**