theorem Th62: :: JORDAN:62

Proj2_1 is continuous Function of [:(TOP-REAL 2),(TOP-REAL 2):],R^1