theorem :: XPRIMES0:1282

not 1282 is prime