theorem :: XPRIMES1:5981

5981 is prime