theorem :: XPRIMES0:1276

not 1276 is prime