The Arens-Michael envelope of a solvable Lie algebra is a homological epimorphism

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.