theorem Th37: :: NAT_4:37

631 is prime