theorem :: XPRIMES0:1346

not 1346 is prime