theorem :: XPRIMES0:1267

not 1267 is prime