theorem Th29: :: CARD_1:30

for x being object holds card {x} = 1