theorem :: XPRIMES2:6379

6379 is prime