theorem :: XPRIMES0:1269

not 1269 is prime