theorem :: XPRIMES0:322

not 322 is prime