theorem :: XPRIMES2:6337

6337 is prime