theorem :: XPRIMES0:1353

not 1353 is prime