theorem Th56: :: TOPS_1:56

for GX being TopStruct
for S being Subset of GX st S is boundary & S is closed holds
S is nowhere_dense by PRE_TOPC:22;