theorem :: NECKLACE:23

for n being non zero Nat holds Necklace n is connected