theorem :: XPRIMES0:1842

not 1842 is prime