theorem Th10: :: TOPREAL5:10

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