theorem :: XPRIMES2:6733

6733 is prime