theorem Th5: :: TOPDIM_1:5

for T being TopSpace
for Af being finite-ind Subset of T holds - 1 <= ind Af