reconsider A = y=0-line as Subset of Niemytzki-plane by Def3, Th23;
Int (Cl A) = Int A by Th30, PRE_TOPC:52
.= {} by Th39 ;
hence y=0-line is nowhere_dense Subset of Niemytzki-plane by TOPS_3:def 3; :: thesis: verum