The length of any curve that goes from A to B (other than the line segment AB) is greater than the length of that segment. This statement may be a theorem? Or, necessarily, is an axiom? It seems to me that any attempt to build a theorem eventually turning into begging.
Thank you very much!