theorem :: XPRIMES2:7753

7753 is prime