theorem :: TOPALG_5:15
for S, T being non empty TopSpace st S,T are_homeomorphic & S is locally_connected holds
T is locally_connected