theorem :: XPRIMES2:7741

7741 is prime