theorem Th39: :: GTARSKI5:39

for S being non empty TarskiGeometryStruct
for A, B being Subset of S
for x being POINT of S st A,B Is x holds
B,A Is x ;