theorem :: XPRIMES2:9787

9787 is prime