theorem :: NECKLACE:28

Necklace 1, ComplRelStr (Necklace 1) are_isomorphic