theorem :: XPRIMES0:1324

not 1324 is prime