theorem Th36: :: NAT_4:36

317 is prime