theorem Th34: :: TOPDIM_1:34

for T being TopSpace st T is finite-ind & ind T <= 0 & T is Lindelof holds
for A, B being closed Subset of T st A misses B holds
ex A9, B9 being closed Subset of T st
( A9 misses B9 & A9 \/ B9 = [#] T & A c= A9 & B c= B9 )