theorem :: XPRIMES0:1286

not 1286 is prime