A finite-dimensional Lie algebra representation in which every representing endomorphism is nilpotent has a nonzero vector annihilated by the entire Lie algebra. Applying this to the Adjoint representation is the key step in Engel theorem.
New to topics? Read the docs here!