theorem :: BORSUK_3:3

for S, T, V being non empty TopSpace st S,T are_homeomorphic & T,V are_homeomorphic holds
S,V are_homeomorphic