theorem :: XPRIMES0:843

not 843 is prime