theorem Th15: :: JORDAN3:15

for g being FinSequence of (TOP-REAL 2)
for p1, p2 being Point of (TOP-REAL 2) st g is_S-Seq_joining p1,p2 holds
Rev g is_S-Seq_joining p2,p1