theorem Th4: :: TOPGEN_6:4

real-anti-diagonal is closed Subset of Sorgenfrey-plane