theorem :: XPRIMES0:1348

not 1348 is prime