theorem :: XPRIMES0:1265

not 1265 is prime