theorem :: XPRIMES0:1345

not 1345 is prime