theorem Th30: :: BORSUK_6:30

for T being TopStruct holds {} is empty compact Subset of T