theorem :: XPRIMES0:285

not 285 is prime