theorem :: CARD_2:31

for X being set holds exp (2,(card X)) = card (bool X)