theorem :: XPRIMES0:1343

not 1343 is prime