theorem Th22: :: JGRAPH_3:22

Sq_Circ is one-to-one