theorem :: XPRIMES0:208

not 208 is prime