theorem :: XPRIMES0:1349

not 1349 is prime