theorem :: XPRIMES2:7369

7369 is prime