theorem :: XPRIMES1:353

353 is prime