theorem :: GTARSKI5:56

for S being non empty satisfying_Tarski-model satisfying_Lower_Dimension_Axiom TarskiGeometryStruct
for a, b, c being POINT of S holds not between a, Line (b,c),a by GTARSKI1:def 10;