Sq_Circ is one-to-one