theorem Th42: :: JGRAPH_3:42

ex h being Function of (TOP-REAL 2),(TOP-REAL 2) st
( h = Sq_Circ " & h is continuous )