리 대수
and showed that any Lie subalgebra of a free Lie algebra is itself a free Lie algebra.