theorem :: XPRIMES0:834

not 834 is prime