theorem :: XPRIMES2:6397

6397 is prime