theorem :: XPRIMES0:247

not 247 is prime