“…On the other hand, 0 −→ ((a, b, σ) + (h, p, σ) ann )/(h, p, σ) ann −→ (h, p, σ) Lie −→ (T, L, τ ) −→ 0 is a stem extension of (T, L, τ ) in the category XLie of crossed modules in Lie algebras, so by the proof of Theorem 3.6 in [30], there is a surjective homomorphism α = (α 1 , α 2 ) from (M 1 , P 1 , ϑ 1 ) to (h, p, σ) Lie , where (M 1 , P 1 , ϑ 1 ) is a stem cover of (T, L, τ ) in XLie. Now, combining [30,Corollary 3.5] with [28,Proposition 22] It is easy to check that β1 and β2 are isomorphisms and so β is an isomorphism of crossed modules, as required.…”