theorem :: XPRIMES1:5927

5927 is prime