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 ;
hence [#] (TOP-REAL n) is a_component by CONNSP_1:def 5; :: thesis: verum