theorem :: XPRIMES0:1864

not 1864 is prime