theorem Th28: :: GTARSKI5:28

for S being non empty satisfying_Tarski-model satisfying_Lower_Dimension_Axiom TarskiGeometryStruct
for a, p being POINT of S
for A being Subset of S st A is_line & p in A & not a in A holds
between a,A, reflection (p,a)