theorem
  for A,B being Subset of TOP-REAL n st B is_inside_component_of A holds
  B c= A`
by SPRECT_1:5;
