theorem :: XPRIMES0:328

not 328 is prime