theorem :: XPRIMES0:351

not 351 is prime