theorem :: TOPDIM_1:28

for T1, T2 being TopSpace st [:T1,T2:] is finite-ind holds
( [:T2,T1:] is finite-ind & ind [:T1,T2:] = ind [:T2,T1:] )