theorem :: XPRIMES0:352

not 352 is prime