theorem :: XPRIMES0:323

not 323 is prime