Suppose A\subset\mathfrak{g} and I\subset\mathfrak{g} are subalgebras of some Lie algebra, and I is an ideal. Is there something wrong with an isomorphism (A+I)/I \simeq A/I, a+i+I=a+I\mapsto a+I, for a\in A and i\in I? I cannot see what could be wrong, but all texts always give a theorem...