theorem :: XPRIMES0:1288

not 1288 is prime