theorem :: XPRIMES0:1854

not 1854 is prime