P karakteristiği sıfır olan bir k halkası üzerinde tanımlı bir Lie cebiri ve A boştan farklı bir küme olsun. Eğer P rezidülü nilpotent ve A tarafından üretilen bir serbest Lie cebiri ile aynı alt merkezi diziye sahip ise ...