theorem Th36: :: TOPGEN_5:36

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