theorem :: TOPDIM_2:4

for n being Nat
for TM being metrizable TopSpace st TM is second-countable & ex F being finite Subset-Family of TM st
( F is closed & F is Cover of TM & F is countable & F is finite-ind & ind F <= n ) holds
( TM is finite-ind & ind TM <= n ) by Lm3;