theorem :: XPRIMES2:6737

6737 is prime