theorem :: XPRIMES0:335

not 335 is prime