reserve C for Simple_closed_curve,
  i, j, n for Nat,
  p for Point of TOP-REAL 2;

theorem
  for C being Subset of TOP-REAL 2 st C is bounded holds UBD C is non
  empty by Lm13;
