theorem Th13: :: CARD_1:14

for X being set holds card X in card (bool X)