theorem :: XPRIMES2:7607

7607 is prime