To exhibit this, we must recall a familiar proposition of geometry: the square on the longest side of a right-angled triangle is equal to the sum of the squares on the other two sides. It has long been known that from this alone all the metrical properties of Euclidean space--the space in which for 2,000 years we have imagined we were living--can be deduced. Metrical properties are those depending upon measurement. Now, in the geometry of any space, Euclidean or not, there is a single proposition of a similar sort which tells us how to find the most direct distance between any two points that are very close together. This small distance is expressed in terms of the two sets of distance measurements by which the end-points are located, just as two neighboring positions of our ball were located by two sets of four measurements each. We say by analogy that two consecutive positions of the ball are separated by a small interval of time-space. From the formula for the very small interval of time-space we can calculate mathematically all the metrical properties of the time and space in which measurements for the ball's motion must be made. So in any geometry mathematical analysis predicts infallibly the truth about all facts depending upon measurements from the simple formula of the interval between neighboring points. Thus, on a sphere the sum of the angles of any triangle formed by arcs of great circles exceeds 180°, and this follows from the formula for the shortest ("geodesic") distance between neighboring points on the spherical surface. We saw that it takes four measurements, one for time and three for distances, to fix an elementary event, viz., the position of the centre of our ball at any instant. A system of all possible such sets of four measurements each, constitutes what mathematicians call a four-dimensional space. The study of the four-dimensional time-space geometry, once its shortest-distance proposition is known, reveals all those relations in nature which can be ascertained by measurements, that is, experimentally. We have then to find this indispensable proposition.