theorem :: XPRIMES0:1339

not 1339 is prime