for n being non zero Nat holds Necklace n is connected