Question 773686
Between: If A, B and C are distinct points, we say that B is between points A and C (A*B*C) if and only if d(A,B) + d(B,C) = d(A,C). In other words we usually do not need to prove definitions.