theorem :: XPRIMES0:1263

not 1263 is prime