theorem :: XPRIMES0:256

not 256 is prime