theorem :: XPRIMES0:1335

not 1335 is prime