Toponogov's_theorem loading ...