theorem :: XPRIMES0:358

not 358 is prime