theorem Th34: :: NUMERAL2:34

89 is prime