theorem Th33: :: TOPS_3:33

for X being non empty TopSpace
for A being Subset of X st A is everywhere_dense holds
A is dense