theorem Th39: :: TOPS_1:39

for GX being TopStruct
for T being Subset of GX holds Int T misses Fr T