Формальные модификации. Теоремы о существовании модификаций комплексных многообразий

Доказывается, что для существования неособого стягивания (соответственно раздутия) аналитического множества на $n$-мерном комплексном многообразии необходимо и достаточно существование формального неособого стягивания (соответственно раздутия) этого аналитического множества.