for S being Subset of R^1 st S = RAT holds
for T being connected TopSpace
for f being Function of T,(R^1 | S) st f is continuous holds
f is constant