for f being Function of (TOP-REAL 2),R^1 st f = proj1 holds
f is continuous