theorem :: YELLOW12:44

for S, T being non empty TopSpace holds [:S,T:],[:T,S:] are_homeomorphic