theorem Th19: :: NECKLACE:20

for n being Nat holds the carrier of (Necklace n) = n