theorem Th39:
  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;
