theorem TrivialBetween: :: GTARSKI1:2

for M being non empty trivial MetrSpace
for a, b, c being Element of M holds a is_Between b,c