theorem Th10: :: JGRAPH_6:10

Sq_Circ . |[(- 1),0]| = |[(- 1),0]|