reserve i,j,k,n for Nat,
  C for being_simple_closed_curve Subset of TOP-REAL 2;
reserve p,q for Point of TOP-REAL 2,
  D for Simple_closed_curve;

theorem
  L~Cage(C,n) c= UBD C
proof
  C c= BDD L~Cage(C,n) by JORDAN10:12;
  hence thesis by Th16;
end;
