theorem Th38: :: GTARSKI5:38

for S being non empty satisfying_Tarski-model satisfying_Lower_Dimension_Axiom TarskiGeometryStruct
for A, A9 being Subset of S st A is_line & A9 is_line & A <> A9 holds
ex r being POINT of S st
( not r in A & r in A9 )