>>70
ありがとうございます。
しかしこれではpと他の点でしか成り立たないようにみぇます。
欲しいのは、近傍上の任意の二点が唯一の測地線で結べるという結果です。