theorem :: TOPDIM_1:25

for T1, T2 being TopSpace st T1,T2 are_homeomorphic & T1 is finite-ind holds
ind T1 = ind T2 by Lm9;