theorem :: XPRIMES2:6343

6343 is prime