theorem :: XPRIMES2:6833

6833 is prime