theorem :: XPRIMES2:7549

7549 is prime