theorem :: XPRIMES2:7433

7433 is prime