Provable Secure Universal Steganography of Optimal Rate

§ 2 The argument in the proof of the Hadamard-Cartan theorem 6.5.2 shows that if there is a point in a simply-connected Riemannian manifold possessing no conjugate points, then