theorem :: XPRIMES0:885

not 885 is prime