theorem :: XPRIMES2:8087

8087 is prime