theorem Th29: :: NUMERAL2:29

61 is prime