reconsider A = y>=0-plane \ y=0-line as open Subset of Niemytzki-plane by Th25;
Cl A = [#] Niemytzki-plane by Th34;
hence y>=0-plane \ y=0-line is dense Subset of Niemytzki-plane by TOPS_1:def 3; :: thesis: verum