(欧几里德及其他很多度量空间中)两点之间直线(测地线)最短。证毕……
(严格凸赋范空间中)这是距离定义的一环。
(普通读者请忽略括号中的内容。)