theorem :: XPRIMES0:294

not 294 is prime