theorem Satz6p2: :: GTARSKI3:71

for S being satisfying_Tarski-model TarskiGeometryStruct
for a, b, c, p being POINT of S st a <> p & b <> p & c <> p & between a,p,c holds
( between b,p,c iff p out a,b )