theorem :: XPRIMES0:895

not 895 is prime