theorem :: XPRIMES0:1843

not 1843 is prime