연결된 곡면에 임의의 두점 주고 두점을 지나는 geodesic이 있냐고 물으면 참임? 될삘이긴함