theorem :: XPRIMES0:1885

not 1885 is prime