theorem :: XPRIMES0:1281

not 1281 is prime