let a be Point of T; :: thesis: a,a are_connected
thus ex f being Function of I[01],T st
( f is continuous & f . 0 = a & f . 1 = a ) by Th4; :: according to BORSUK_2:def 1 :: thesis: verum