theorem :: NECKLACE:29

Necklace 4, ComplRelStr (Necklace 4) are_isomorphic