theorem :: CARD_1:27

card {} = 0 ;