reserve p1, p2 for Point of TOP-REAL 2,
  C for Simple_closed_curve,
  P for Subset of TOP-REAL 2;

theorem Th9:
  for X being set, A being Subset of X holds A` = {} iff A = X
by XBOOLE_1:37;
