Por el teorema de Engel, un álgebra de Lie es "nilpotente" [[si y solo si]] para cada "x" en A, la función ad("x"): A -> A definida por