theorem :: XPRIMES0:321

not 321 is prime