theorem :: XPRIMES0:1287

not 1287 is prime