theorem :: TOPGEN_4:45

for A being Subset of R^1 st A = RAT holds
A is F_sigma