Shrink the target polyradius until each substituted coordinate has weighted absolute sum at most a convergence radius of the input. Polynomial truncations then have uniformly bounded coefficients, and formal continuity transfers the bound to the full substituted series.