theorem Th5: :: TOPGEN_6:5

for A being Subset of Sorgenfrey-plane st A = real-anti-diagonal holds
Der A is empty