Summary: We prove a theorem on analytic factorization when blowing up along a regularly embedded center a Henselian excellent regular ring containing the rationals. In our next paper [Gabrielov’s rank theorem for differentially algebraic relations (preprint)], it will be applied to the proof of the rank theorem for differentially algebraic relations or, more generally, for convergent Weierstrass systems of Hartogs type.