theorem :: XPRIMES0:1342

not 1342 is prime