theorem :: XPRIMES1:937

937 is prime