任意の結合代数formula_8とリー代数準同型写像formula_9に対し、結合代数の準同型写像formula_10で、formula_11を満たすものが唯一つ存在する。