theorem Th26: :: NUMERAL2:26

47 is prime