  The Arens-Michael envelope of the universal enveloping algebra of a
finite-dimensional complex Lie algebra is a homological epimorphism if and only
if the Lie algebra is solvable. The necessity was proved by Pirkovskii in
[Proc. Amer. Math. Soc. 134, 2621--2631, 2006]. We prove the sufficiency.
