theorem Th10: :: JGRAPH_6:10
Sq_Circ . |[(- 1),0]| = |[(- 1),0]|