theorem Th24: :: NUMERAL2:24

31 is prime