theorem :: XPRIMES2:7687

7687 is prime