theorem :: XPRIMES0:354

not 354 is prime