Linked from

The 1 page that link to Ado's theorem, each with the reason it gives.

• Poincaré–Birkhoff–Witt theoremCompared with: Ado concerns faithful matrix representations, whereas PBW concerns the structure of the universal enveloping algebra.