theorem :: XPRIMES0:324

not 324 is prime