theorem Th10: :: TOPS_3:10

for X being non empty TopSpace
for A being Subset of X st A is boundary holds
A <> the carrier of X