theorem :: XPRIMES0:1846

not 1846 is prime