theorem :: XPRIMES0:1280

not 1280 is prime