theorem :: XPRIMES2:7901

7901 is prime