theorem :: XPRIMES0:332

not 332 is prime