(y>=0-plane \ y=0-line) /\ (product <*RAT,RAT*>) is dense Subset of Niemytzki-plane