theorem :: XPRIMES0:1895

not 1895 is prime