自由リー環
Širšov (1953) と Witt (1956) は自由リー環の任意の部分リー環はそれ自身自由リー環であることを示した.