theorem :: XPRIMES0:1285

not 1285 is prime