theorem :: TOPGEN_1:49

for A being Subset of R^1 st A = RAT holds
Int A = {}