theorem Th52: :: CARD_1:54

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