theorem :: XPRIMES2:6907

6907 is prime