“…Proof Evidently, each with is an admissible set for the minimization problem , that is, To show that , let us recall the following definition from . It is said that has no necks of radius if for any two balls there exists a continuous curve such that It is not hard to observe that satisfies this property for all …”