for P1 being Subset of (TOP-REAL 2) st P1 is being_S-P_arc holds
P1 <> {}