theorem Th39: :: NAT_4:39

2503 is prime