theorem Th27: :: NUMERAL2:27

53 is prime