李代數
and showed that any Lie subalgebra of a free Lie algebra is itself a free Lie algebra.