theorem :: XPRIMES0:1340

not 1340 is prime