theorem Th4: :: NECKLACE:5

for X being set holds card (id X) = card X