theorem :: NECKLACE:1

4 = {0,1,2,3} by CARD_1:52;