Linked from

The 2 pages that link to Lie's theorem, each with the reason it gives.

• Engel's theoremCompared with: It extends triangularization from nilpotent actions to representations of solvable Lie algebras.

• Ado's theoremCompared with: Unlike Ado's theorem, it restricts the Lie algebras and fields under consideration.