theorem Th28: :: NUMERAL2:28

59 is prime