theorem Th31: :: NUMERAL2:31

71 is prime