theorem Th54: :: CARD_1:56

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