theorem Th51: :: CARD_1:53

5 = {0,1,2,3,4}