theorem :: XPRIMES2:7757

7757 is prime