theorem :: XPRIMES2:7559

7559 is prime