är en oomtvistlig matematisk sanning , att den raka linien mellan tvänne punkter är kortare änden