theorem Th22: :: JGRAPH_6:22

for P being Subset of (TOP-REAL 2) st P is being_simple_closed_curve holds
P is compact ;