theorem :: XPRIMES1:349
349 is prime