 It relies on a number of techniques and inequalities of global Riemannian geometry.The starting point of the proof is the imbedding of X into the Banach space of Borel functions on X, equipped with the sup norm.The imbedding is defined by mapping a point "p" of "X", to the real function on "X" given by the distance from the point "p".