theorem Th52: :: YELLOW16:53

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