A finite-dimensional Lie algebra all of whose elements are ad-nilpotent is itself a nilpotent Lie algebra.
Engel's Theorem
Explore with Wolfram|Alpha
Cite this as:
Weisstein, Eric W. "Engel's Theorem." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/EngelsTheorem.html