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