theorem :: XPRIMES0:1355

not 1355 is prime