theorem :: XPRIMES0:832

not 832 is prime