theorem :: XPRIMES0:355

not 355 is prime