theorem :: XPRIMES2:6367

6367 is prime