theorem :: XPRIMES0:1352

not 1352 is prime