theorem :: XPRIMES0:1256

not 1256 is prime