theorem :: XPRIMES0:1255

not 1255 is prime