theorem :: XPRIMES0:1338

not 1338 is prime