theorem :: XPRIMES0:833

not 833 is prime