theorem Th40: :: JGRAPH_2:40

for D being non empty Subset of (TOP-REAL 2) st D ` = {(0. (TOP-REAL 2))} holds
ex h being Function of ((TOP-REAL 2) | D),((TOP-REAL 2) | D) st
( h = Out_In_Sq & h is continuous )