theorem Th51: :: TOPGEN_1:51

RAT is dense Subset of R^1