theorem Th34: :: TSEP_1:34

for X being TopSpace
for A1, A2 being Subset of X st A1 is closed & A2 is closed holds
( A1 misses A2 iff A1,A2 are_separated )