theorem Th57: :: SPPOL_2:57

for P being Subset of (TOP-REAL 2) st P is being_S-P_arc holds
P is compact