theorem Th6: :: TOPGEN_6:6

for A being Subset of real-anti-diagonal holds A is closed Subset of Sorgenfrey-plane