The well-definedness of the connected sum of two manifolds. After all, we choose two arbitrary balls for gluing; why should the result be independent? The proof depends on the nontrivial Disc theorem.

I think that one usually uses this result as a black box.