theorem :: XPRIMES0:295

not 295 is prime