theorem :: XPRIMES0:1347

not 1347 is prime