theorem :: JORDAN2C:15

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