We call a formal morphism between completions of complex spaces convergent if it comes from a holomorphic mapping between the complex spaces. We assume always that the source space is compact. Then a formal morphism is either convergent everywhere or nowhere, under very general conditions.