theorem :: XPRIMES0:1295

not 1295 is prime