theorem Th23: :: NUMERAL2:23

29 is prime