theorem :: XPRIMES0:254

not 254 is prime