theorem Th53: :: CARD_1:55

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