theorem :: XPRIMES2:7477

7477 is prime