theorem :: XPRIMES0:1264

not 1264 is prime