reconsider B = y=0-line as closed Subset of Niemytzki-plane by Th26;
let A be Subset of y=0-line; :: thesis: A is closed Subset of Niemytzki-plane
A c= B ;
then reconsider A = A as Subset of Niemytzki-plane by XBOOLE_1:1;
Der A c= Der B by TOPGEN_1:30;
then Der A c= {} by Th41;
then Der A = {} ;
then Cl A = A \/ {} by TOPGEN_1:29;
hence A is closed Subset of Niemytzki-plane ; :: thesis: verum