theorem :: XPRIMES2:7727

7727 is prime