theorem :: XPRIMES2:7561

7561 is prime