theorem :: XPRIMES2:7507

7507 is prime