theorem Th11: :: TOPREAL5:11

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