Formal modifications. Existence theorems for modifications of complex manifolds

For the existence of a nonsingular contraction (dilatation) of an analytic set on an $n$-dimensional complex manifold it is proved to be necessary and sufficient that there exist a formal nonsingular contraction (dilatation) of the analytic set.