theorem :: XPRIMES0:291

not 291 is prime