theorem :: XPRIMES2:7541

7541 is prime