theorem Th48: :: CARD_1:50

2 = {0,1}