theorem :: NECKLACE:3

canceled;