theorem :: XPRIMES0:357

not 357 is prime