theorem :: XPRIMES0:1323

not 1323 is prime