theorem :: XPRIMES1:631

631 is prime