theorem :: XPRIMES2:6389

6389 is prime