theorem :: XPRIMES0:836

not 836 is prime