t,t are_connected ;
hence for b₁ being Loop of t holds b₁ is continuous by BORSUK_2:def 2; :: thesis: verum