Kernel-Ideal and Quotient Lie Algebra Theorem