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