for A being Subset of y=0-line holds A is closed Subset of Niemytzki-plane