“…Moreover, the regularity argument above, now applied to h, combined with a bootstrap argument, provides a harmonic atlas in which {X, h) is a C°° Riemannian manifold. So Myers' theorem [10] holds for (X, h), contradicting the noncompactness of X. D Proof of Theorem 3.…”