theorem Th30: :: NUMERAL2:30

67 is prime