premise: the shortest distance between two points is a straight line
hypothesis: a specific type of straight line is geodesic (or geodesic line), defined as '(mathematics) the shortest line between two points on a mathematically defined surface (as a straight line on a plane or an arc of a great circle on a sphere)' .