theorem :: XPRIMES0:1266

not 1266 is prime