theorem Th38: :: NAT_4:38

1259 is prime