theorem Th50: :: CARD_1:52

4 = {0,1,2,3}