theorem Th34: :: GTARSKI5:34

for S being non empty satisfying_Tarski-model satisfying_Lower_Dimension_Axiom TarskiGeometryStruct
for r, s being POINT of S
for A being Subset of S st A is_line & not r in A & s in Plane (A,r) & not s in A holds
Plane (A,r) = Plane (A,s)