theorem :: XPRIMES0:842

not 842 is prime