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