theorem Th63: :: JORDAN:63

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