theorem :: XPRIMES0:345

not 345 is prime