let n be Element of NAT ; :: thesis: [#] (TOP-REAL n) is_a_component_of TOP-REAL n
set A = [#] (TOP-REAL n);
for B being Subset of (TOP-REAL n) st B is connected & [#] (TOP-REAL n) c= B holds
[#] (TOP-REAL n) = B by XBOOLE_0:def 10;
hence [#] (TOP-REAL n) is_a_component_of TOP-REAL n by CONNSP_1:def 5; :: thesis: verum