theorem Th49: :: CARD_1:51

3 = {0,1,2}