theorem :: XPRIMES0:296

not 296 is prime