theorem :: GTARSKI1:31

for S being satisfying_Tarski-model TarskiPlane
for a, b, c, d being POINT of S st a <> b & between a,b,c & between a,b,d & b <> c & b <> d holds
not between c,b,d