theorem Th5: :: COMPACT1:5

for X being TopStruct holds X is SubSpace of One-Point_Compactification X