theorem :: TOPDIM_1:36

for T being TopSpace st T is T_4 & T is Lindelof & ex F being Subset-Family of T st
( F is closed & F is Cover of T & F is countable & F is finite-ind & ind F <= 0 ) holds
( T is finite-ind & ind T <= 0 )