theorem :: XPRIMES2:7487

7487 is prime