theorem Th7: :: TOPS_3:7

for X being TopSpace
for A being Subset of X st A misses Int (Cl A) holds
Int (Cl A) = {}