theorem :: XPRIMES2:7907

7907 is prime