theorem :: XPRIMES0:1855

not 1855 is prime