弧状連結なら結ぶ線がある
完備なら最短の線がある
すなわち測地線がある