theorem :: XPRIMES1:941

941 is prime