theorem :: XPRIMES2:7547

7547 is prime