theorem :: XPRIMES0:350

not 350 is prime