theorem Th21: :: JGRAPH_3:21

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