theorem Th33: :: NUMERAL2:33

79 is prime